var class_shell =
[
    [ "Shell", "class_shell.html#ad613444a902075e8fd26b1f51c4d3b63", null ],
    [ "~Shell", "class_shell.html#a95f78f499b3dfd9c83f4099cf90ef3df", null ]
];